A Search-Based Constraint Elicitation in Test Design
نویسندگان
چکیده
منابع مشابه
Regret-based Utility Elicitation in Constraint-based Decision Problems
Constraint-based optimization requires the formulation of a precise objective function. However, in many circumstances, the objective is to maximize the utility of a specific user among the space of feasible configurations (e.g., of some system or product). Since elicitation of utility functions is known to be difficult, we consider the problem of incremental utility elicitation in constraintba...
متن کاملA Constraint-Based Approach to Preference Elicitation and Decision Making
We investigate the solution of constraint-based configuration problems in which the preference function over outcomes is unknown or incompletely specified. The aim is to configure a system, such as a personal computer, so that it will be optimal for a given user. The goal of this project is to develop algorithms that generate the most preferred feasible configuration by posing preference querie...
متن کاملSearch in Constraint-Based Paraphrasing
Existing paraphrase systems either create successive drafts from an underlying representation , or they aim to correct texts. A diierent kind of paraphrase, also reeecting a real-world task, involves imposing, on an original text, external constraints in terms of length, read-ability, etc. This sort of paraphrase requires a new framework which allows production of a new text satisfying the cons...
متن کاملconstruction and validation of a computerized adaptive translation test (a receptive based study)
آزمون انطباقی رایانه ای (cat) روشی نوین برای سنجش سطح علمی دانش آموزان می باشد. در حقیقت آزمون های رایانه ای با سرعت بالایی به سمت و سوی جایگزین عملی برای آزمون های کاغذی می روند (کینگزبری، هاوسر، 1993). مقاله حاضر به دنبال آزمون انطباقی رایانه ای برای ترجمه می باشد. بدین منظور دو پرسشنامه مشتمل بر 55 تست ترجمه میان 102 آزمودنی و 10 مدرس زبان انگلیسی پخش گردید. پرسشنامه اول میان 102 دانشجوی س...
Design and Implementation of a Constraint-Based Test Case Generator with Test Fixture Computation
In this study, we design and implement a constraint-based test case generator. Test cases for methodlevel unit-testing can be generated automatically from UML class diagrams and OCL specifications. A test case includes test data (test inputs and expected outputs), and test fixtures. We adopt a constraint logic graph approach to generating test data, and a finite model reasoning approach to gene...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2016
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.2015kbp0010